math proof with sets